Dagstuhl Seminar
نویسندگان
چکیده
From 01.02.2009 to 06.02.2009, the Dagstuhl Seminar 09061 Combinatorial Scienti c Computing was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The rst section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
منابع مشابه
Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441)
Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441) Holger Giese, Bernhard Rumpe, Bernhard Schätz, and Janos Sztipanovits . . . . . . . . 1 Data Mining, Networks and Dynamics (Dagstuhl Seminar 11451) Lars Elden and Andreas Frommer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 Analysis of Dynamic Social and Technological N...
متن کاملReal-World Visual Computing (Dagstuhl Seminar 13431)
Deduction and Arithmetic (Dagstuhl Seminar 13411) Nikolaj Bjørner, Reiner Hähnle, Tobias Nipkow, and Christoph Weidenbach . . . . . . 1 Genomic Privacy (Dagstuhl Seminar 13412) Kay Hamacher, Jean Pierre Hubaux, and Gene Tsudik . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 13421) Glencora Borradaile, Philip Klein,...
متن کاملMeta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182)
Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141) Bernadette Charron-Bost, Stepahn Merz, Andrey Rybalchenko, and Josef Widder 1 Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142) Albert Cohen, Alastair F. Donaldson, Marieke Huisman, and Joost-Pieter Katoen 17 Drawing Graphs and Maps with Curves (Dagstuhl Seminar 13151) Stephen Kobourov, Martin Nöllenburg...
متن کاملVisualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data (Dagstuhl Seminar 11501)
Secure Computing in the Cloud (Dagstuhl Seminar 11491) Benny Pinkas, Ahmad-Reza Sadeghi, and Nigel P. Smart . . . . . . . . . . . . . . . . . . . . . . . . 1 Secure Architectures in the Cloud (Dagstuhl Seminar 11492) Sabrina De Capitani di Vimercati, Wolter Pieters, and Christian W. Probst . . . . . . 11 Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data ...
متن کاملIndexes and Computation over Compressed Structured Data (Dagstuhl Seminar 13232)
Belief Change and Argumentation in Multi-Agent Scenarios (Dagstuhl Seminar 13231) Jürgen Dix, Sven Ove Hansson, Gabriele Kern-Isberner, and Guillermo Simari . . . 1 Indexes and Computation over Compressed Structured Data (Dagstuhl Seminar 13232) Sebastian Maneth and Gonzalo Navarro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 Virtual Realities (Dagstuhl S...
متن کاملMobility Data Mining and Privacy (Dagstuhl Seminar 12331)
Robust Query Processing (Dagstuhl Seminar 12321) Goetz Graefe, Wey Guy, Harumi A. Kuno, and Glenn Paulley . . . . . . . . . . . . . . . . . . . 1 Mobility Data Mining and Privacy (Dagstuhl Seminar 12331) Christopher W. Clifton, Bart Kuijpers, Katharina Morik, and Yucel Saygin . . . . . . 16 Verifying Reliability (Dagstuhl Seminar 12341) Görschwin Fey, Masahiro Fujita, Natasa Miskov-Zivanov, Kau...
متن کامل